<?php

    function write($log){
        echo "log:$log\n";
    }
    
?>